Verify The Operators Commute